;; correct version of add3
(define add3
  (lambda (x)
    (+ 3 x)))